1. Scientific computing with automatic result verification
پدیدآورنده : / edited by E.Adams, U. Kulisch.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع :
2. Scientific computing with automatic result verification
پدیدآورنده : edited by E. Adams, U. Kulisch
کتابخانه: (طهران)
موضوع : ، Electronic data processing,، Computer science -- Mathematics
رده :
QA
76
.
S36
1993
3. Scientific computing with automatic result verification
پدیدآورنده : / edited by E. Adams, U. Kulisch
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Electronic data processing,Computer science - Mathematics
رده :
QA
76
.
S368
1993
